1. Accessible categories: the foundations of categorical model theory
Author: Makkai, Michael
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory,، Categories )Mathematics(,، Toposes
Classification :
QA
9
.
7
.
M35
1989
2. Accessible categories : the foundations of categorical model theory
Author: Michael Makkai, Robert pare
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory,، Categories )Mathematics(,، Toposes
Classification :
QA
9
.
7
.
M25
3. First order categorical logic
Author: / Michael Makkai, Gonzalo Reyes
Library: Library of College of Science University of Tehran (Tehran)
Subject: Model theory,Categories (Mathematics),Toposes
Classification :
QA
9
.
7
.
M3
1977
4. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
Author: Makkai, Michael
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory,، Categories )Mathematics(,، Toposes
Classification :
QA
3
.
L28
no
.
611
5. First order categorical logic: model-theorical methods in the theory of topoi and related categories
Author: Makkai, Michael
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Model theory,، Categories )Mathematics(,، Toposes
Classification :
QA
3
.
L28
no
.
611
6. Forcing and classifying topoi /
Author: Andrej Sčědrov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Forcing (Model theory),Toposes
Classification :
QA169
.
A57
no
.
295
7. Freyd's models for the independence of the axiom of choice /
Author: Andreas Blass and Andre Scedrov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axiom of choice,Forcing (Model theory),Toposes
Classification :
QA248
.
A57
no
.
404
8. Model theory and topoi
Author: / edited by F. W. Lawvere, C. Maurer, G. C. Wraith
Library: Library of College of Science University of Tehran (Tehran)
Subject: Model theory,Toposes
Classification :
QA
9
.
7
.
M6
1975
9. Model theory and topoi: a collection of lectures by various authors
Author: edited by F. W. Lawvere, C. Maurer, and G. C. Wraith
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Model theory,، Toposes
Classification :
QA
3
.
L28
no
.
445
10. Model theory and topoi : a collection of lectures by various authors
Author: edited by F. W. Lowvere, C. Maurer and G. C. Wraith
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory,، Toposes
Classification :
QA
3
.
L28
Vol
.
445
11. Model theory and topoi: a collection of lectures by various authors
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory,، Toposes
Classification :
QA
3
.
L28
no
.
445
